Scalable Differential Analysis of Process Algebra Models
نویسندگان
چکیده
منابع مشابه
Scalable Analysis of Stochastic Process Algebra Models
The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic ...
متن کاملIntegrated Analysis from Abstract Stochastic Process Algebra Models
view Stochastic Simulation individual view Abstract Bio-PEPA model Fig. 1. Alternative modelling approaches: a single Bio-PEPA description of a system may be used to derive alternative mathematical representations o ering di erent analysis possibilities In contrast, biologists often take a population-based view of cellular systems, representing them as systems of ordinary di erential equations ...
متن کاملDifferential Bisimulation for a Markovian Process Algebra
Formal languages with semantics based on ordinary differential equations (ODEs) have emerged as a useful tool to reason about large-scale distributed systems. We present differential bisimulation, a behavioral equivalence developed as the ODE counterpart of bisimulations for languages with probabilistic or stochastic semantics. We study it in the context of a Markovian process algebra. Similarl...
متن کاملSymbolic Minimisation of Stochastic Process Algebra Models
Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, compositional aggregation based on congruence relations can be applied. This paper addresses the computational complexity of minimisation algorit...
متن کاملProcess Algebra Models of Population Dynamics
It is well understood that populations cannot grow without bound and that it is competition between individuals for resources which restricts growth. Despite centuries of interest, the question of how best to model density dependent population growth still has no definitive answer. We address this question here through a number of individual based models of populations expressed using the proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2012
ISSN: 0098-5589
DOI: 10.1109/tse.2010.82